-
1 Petri model
Автоматика: модель на базе сетей Петри (напр. в управляющем устройстве ГПС) -
2 Petri model
модель на базе сетей Петри (напр. в управляющем устройстве ГПС)English-Russian dictionary of mechanical engineering and automation > Petri model
-
3 model
1) модель; макет; образец; эталон || моделировать; изготавливать по образцу или эталону || образцовый; эталонный2) форма || придавать форму3) фасонного сечения (напр. о металле)•- 3-D model
- 3-D wireframe model
- algorithm model
- analog model
- animation model
- as-machined model
- autoregressive model
- behavioral model
- brand-new model
- CAD model
- CAD solid model
- cammed model
- causal model
- CGS model
- client-server model
- CN model
- component connection model
- computational model
- computer model
- conceptual model
- control model
- data model
- development models
- dexel model
- diagnosis model
- diagnostic model
- die model
- discrete parts manufacturing model
- disturbance model
- ER model
- error model of a machine
- error model of a single axis
- experimental model
- feature-based CAD model
- feature-based model
- finite-dimensional model
- flexible manufacturing model
- FMS model
- force deflection model
- freeform computer model
- full-scale model
- generalized model
- generic action model
- generic activity model
- generic model
- hierarchic data model
- hierarchical data model
- hierarchical model
- hierarchically structured model
- horizontal model
- infinite-dimensional model
- information-logical model
- kinetic laser anneal model
- language model
- large-scale model
- learning model
- life-size model
- life-sized model
- log normal model
- master model
- mathematical surface model
- meaning $ text model
- network model
- observation model
- orthogonal flute model
- OSI model
- parallel computational model
- parameter-oriented model
- Petri model
- PN model
- polyhedral model
- principal model
- process-message model
- product model
- profile model
- qualitative model
- quantitative model
- queueing model
- R and D model
- reference model
- relation model
- relational model
- repair model
- representative model
- reverse engineer model
- scale model
- scaled-down model
- scaled-up model
- sculptured surface model
- semantic model
- shop floor model
- shop floor production model
- signal model
- simulated model
- simulation model
- software model
- solid model
- solids model
- stochastic model
- structural model
- surface model
- surfaced CAD model
- symbolic model
- task-specific model
- technological model
- test model
- time-series model
- tool animation model
- top-of-the-line model
- topological model
- tracking model
- transaction model of AGVs
- true-volume model
- underconstrained model
- undimensioned model
- unifying model
- vertical model
- vibration model
- volumetric error model
- wholistic model
- wire-frame model
- working model
- world modelEnglish-Russian dictionary of mechanical engineering and automation > model
-
4 модель на базе сетей Петри
Automation: Petri model (напр. в управляющем устройстве ГПС)Универсальный русско-английский словарь > модель на базе сетей Петри
-
5 controller
1) управляющее устройство, устройство управления2) контроллер, командоаппарат5) контрольно-измерительный прибор; контрольно-измерительное устройство•- AC controller
- adaptive controller
- adaptive variable structure controller
- adjustable controller
- adjustable-speed controller
- air-operated controller
- all-purpose controller
- analog-to-frequency controller
- area controller
- arm controller
- astatic controller
- automatic controller
- auxiliary controller
- axis controller
- behavior-based controller
- bubble memory controller
- bus-based controller
- camshaft controller
- cascade controller
- cell controller
- cell management controller
- center controller
- centering controller
- central controller
- central programmable controller
- CNC controller
- CNC/PC-backed controller
- combination controller
- communications capable controller
- compound controller
- computer-torque controller
- conductivity controller
- constant-pressure flow controller
- continuous controller
- continuous-action controller
- conventional CNC controller
- conventional numerical controller
- copy controller
- copying controller
- correlated controller
- cycle controller
- digital controller
- digital loop controller
- direct-acting controller
- discontinuous-action controller
- discrete action controller
- disk controller
- displacement controller
- distribution controller
- DNC controller
- draft controller
- dressing controller
- drum logic controller
- edge tracking controller
- elastic feedback controller
- electric contact controller
- electric controller
- electric hydraulic controller
- electromechanical controller
- electronic controller
- electropneumatic controller
- equipment level controller
- extremal controller
- factory automation controller
- feed controller
- feedback controller
- field controller
- finite-dimensional controller
- fixed-gain controller
- flexible automation controller
- flexible controller
- floating controller
- flow controller
- FMS cell controller
- FMS line controller
- follow-up controller
- freely programmable controller
- frequency controller
- gain controller
- gemdrive axis controller
- hardware controller
- hydraulic controller
- I/O controller
- IBM compatible controller
- inching controller
- indicating controller
- indirect action controller
- industrial sequence controller
- infinite-dimensional controller
- input/output controller
- integral controller
- interfaceable controller
- intermittent controller
- LAN controller
- limiting controller
- linear controller
- low-point speed controller
- machine controller
- machine tool controller
- management controller
- manual controller
- MAP/cell controller
- master controller
- master programmable controller
- material handling controller
- mechanically operated controller
- microcomputer controller
- microprocessor controller
- microprocessor-driven machine controller
- minimum error controller
- model reference adaptive process controller
- motion controller
- motor controller
- multiaction controller
- multichannel controller
- multiinput controller
- multilevel controller
- multimachine-tool controller
- multiposition controller
- multispeed controller
- multistep controller
- narrow-band controller
- NC controller
- network controller
- neural net controller
- numerical controller
- on-off controller
- open system controller
- open-cycle controller
- optimal controller
- optimizing peak-holding controller
- oscillating controller
- output sampling controller
- PC-backed controller
- pedestal controller
- Petri net controller
- photoelectric controller
- PID controller
- pilot-operated controller
- plugboard controller
- pneumatic controller
- pneumatic-hydraulic controller
- positioning controller
- power controller
- pressure controller
- probe controller
- process controller
- process cycle controller
- production controller
- production management controller
- professional graphics controller
- program controller
- programmable controller
- programmable CRT controller
- programmable industrial controller
- programmable interface controller
- programmable logic controller
- proportional action controller
- proportional controller with disturbance-variable compensation
- proportional controller
- proportional position action controller
- proportional-plus-derivative action controller
- proportional-plus-integral action controller
- proportional-plus-integral-plus-derivative controller
- protocol controller
- pulse controller
- PWM controller
- ratio controller
- relay controller
- remote controller
- rigid feedback controller
- robot arm controller
- robot cell controller
- robot/workcenter controller
- rotary and tilt controller
- sampled-data controller
- sampling controller
- secondary controller
- self-acting controller
- self-actuated controller
- self-operated controller
- semiautomatic controller
- sequential controller
- servo controller
- shift controller
- single-duty controller
- single-variable controller
- small sequential controller
- software controller
- software-based controller
- speed controller
- static controller
- stepping controller
- strip-width controller
- supervisory controller
- system's central controller
- tape controller
- teach controller
- teaching controller
- temperature controller
- thermostatic controller
- tool life controller
- torque controller
- turning controller
- two-level controller
- two-position controller
- two-speed controller
- two-stage controller
- two-step controller
- valve controller
- variable feedback controller
- vise controller
- volume controller
- wide-band controller
- wide-range controller
- workstation controllerEnglish-Russian dictionary of mechanical engineering and automation > controller
-
6 Πέτρος
Πέτρος, ου, ὁ (ὁ πέτρος=‘stone’ Hom.+; Jos., Bell. 3, 240, Ant. 7, 142.—Π. as a name can scarcely be pre-Christian, as AMerx, D. vier kanon. Ev. II/1, 1902, 160ff, referring to Jos., Ant. 18, 156 [Niese did not accept the v.l. Πέτρος for Πρῶτος], would have it. But s. ADell [πέτρα 1b] esp. 14–17. Fr. the beginning it was prob. thought of as the Gk. equivalent of the Aram. כֵּיפָא= Κηφᾶς: J 1:42; cp. Mt 16:18 and JWackernagel, Syntax II2 1928, 14f, perh. formed on the analogy of the Gk. male proper name Πέτρων: UPZ 149, 8 [III B.C.]; 135 [78 B.C.]; Plut., Mor. 422d.—A gentile named Πέτρος in Damasc., Vi. Isid. 170. S. also the Praeses Arabiae of 278/79 A.D. Aurelius P.: Publ. Princeton Univ. Arch. Expedition to Syria III A, 1913, 4 no. 546) Peter, surname of the head of the circle of Twelve Disciples, whose name was orig. Simon. His father was a certain John (s. Ἰωάννης 4) or Jonah (s. Ἰωνᾶς 2). Acc. to J 1:44 he himself was from Bethsaida, but, at any rate, when he met Jesus he lived in Capernaum (Mk 1:21, 29). Fr. that city he and his brother Andrew made their living as fishers (Mk 1:16). He was married (Mk 1:30; cp. 1 Cor 9:5), but left his home and occupation, when Jesus called, to follow him (Mk 1:18; 10:28). He belonged to the three or four most intimate of the Master’s companions (Mk 5:37; 9:2; 13:3; 14:33). He stands at the head of the lists of the apostles (Mt 10:2; Mk 3:16; Lk 6:14; Ac 1:13). Not all the problems connected w. the conferring of the name Cephas-Peter upon Simon (s. Σίμων 1) have yet been solved (the giving of a new name and the reason for it: Plato [s. ὀνομάζω 1] and Theophrastus [Vi. Platonis 2 ln. 21 in Biog. p. 388 W.= Prolegom. 1 in CHermann, Pla. VI 196 Θεόφραστος, Τύρταμος καλούμενος πάλαι, διὰ τὸ θεῖον τῆς φράσεως Θ. μετεκλήθη]; CRoth, Simon-Peter HTR 54, ’61, 91–97). He was at least not always a model of rock-like (πέτρος is a symbol of imperturbability Soph., Oed. Rex 334; Eur., Med. 28 al.) firmness (note Gethsemane, the denial, the unsuccessful attempt at walking on water; his conduct at Antioch Gal 2:11ff which, though, is fr. time to time referred to another Cephas; s. KLake, HTR 14, 1921, 95ff; AVöllmecke, Jahrbuch d. Missionshauses St. Gabriel 2, 1925, 69–104; 3, 1926, 31–75; DRiddle, JBL 59, ’40, 169–80; NHuffman, ibid. 64, ’45, 205f; PGaechter, ZKT 72, ’50, 177–212; but s. HBetz, Gal [Hermeneia] p. 105f w. n. 442). Despite all this he was the leader of Jesus’ disciples, was spokesman for the Twelve (e.g. Mt 18:21; 19:27; Mk 8:27ff; Lk 12:41; 18:28) and for the three who were closest to Jesus (Mk 9:5); he was recognized as leader even by those on the outside (Mt 17:24). He is especially prominent in the pronouncement made Mt 16:18. Only in the Fourth Gospel does Peter have a place less prominent than another, in this case the ‘disciple whom Jesus loved’ (s. Hdb. exc. on J 13:23). In connection w. the miraculous events after Jesus’ death (on this ELohmeyer, Galiläa u. Jerusalem ’36; WMichaelis, D. Erscheinungen d. Auferstanden-en ’44; MWerner, D. ntl. Berichte üb. d. Erscheinungen d. Auferstandenen: Schweiz. Theol. Umschau ’44) Pt. played a unique role: 1 Cor 15:5; Lk 24:34; Mk 16:7. He was one of the pillars of the early church (Gal 2:9 [Κηφᾶς]). Three years after Paul was converted, on his first journey to Jerusalem as a Christian, he established a significant contact w. Peter: Gal 1:18. At least until the time described in Gal 2:1–10 (cp. Ac 15:7) he was prob. the head of the early Christian community/church. He was also active as a missionary to Israel Gal 2:8; cp. 1 Cor 9:5 (Κηφᾶς).—MGoguel, L’apôtre Pierre a-t-il joué un role personnel dans les crises de Grèce et de Galatie?: RHPR 14, ’34, 461–500.—In 1 Pt 1:1 and 2 Pt 1:1 he appears as author of an epistle. On Paul’s journey to Rome: Ἀρτέμων ὁ κυβερνήτης τοῦ πλοίου ἦν λελουμένος ὑπὸ Πέτρου Artemon, the ship’s captain, was baptized by Peter AcPl Ha 7, 20. It is probable that he died at Rome under Nero, about 64 A.D..—In the NT he is somet. called Σίμων (q.v. 1; in Ac 15:14 and 2 Pt 1:1 more exactly Συμεών=שִׁמְעוֹן); except for Gal 2:7f Paul always calls him Κηφᾶς (q.v.). Both names Σίμων Π. Mt 16:16; Lk 5:8; J 1:40; 6:8, 68; 13:6, 9, 24, 36; 18:10, 15, 25; 20:2, 6; 21:2f, 7b, 11, 15. Σίμων ὁ λεγόμενος Π. Mt 4:18; 10:2. Σίμων ὁ ἐπικαλούμενος Π. Ac 10:18; 11:13. Σίμων ὸ̔ς ἐπικαλεῖται Π. 10:5, 32.—Outside the NT it is found in our lit. GEb 34, 59; GPt 14:60 (Σίμων Πέτρος); ApcPt Rainer; GMary 463 (2 times); AcPt Ox 849 (4 times); 1 Cl 5:4 (Paul follows in 5:5); 2 Cl 5:3f (a piece fr. an apocr. gosp.); IRo 4:3 (Πέτρος καὶ Παῦλος); ISm 3:2=GHb 356, 39; Papias (2:4, w. other disciples; 15, w. Mark as his ἑρμηνευτής).—Zahn, Einl. II §38–44; KErbes, Petrus nicht in Rom, sondern in Jerusalem gestorben: ZKG 22, 1901, 1ff; 161ff (against him AKneller, ZKT 26, 1902, 33ff; 225ff; 351ff); PSchmiedel, War der Ap. Petrus in Rom?: PM 13, 1909, 59–81; HLietzmann, Petrus u. Pls in Rom2 1927; GEsser, Der hl. Ap. Petrus 1902; CGuignebert, La primauté de St. Pierre et la venue de Pierre à Rome 1909; FFoakes-Jackson, Peter, Prince of Apostles 1927; HDannenbauer, D. röm. Pt-Legende: Hist. Ztschr. 146, ’32, 239–62; 159, ’38, 81–88; KHeussi, War Pt. in Rom? ’36, War Pt. wirklich röm. Märtyrer? ’37, Neues z. Pt.-frage ’39, TLZ 77, ’52, 67–72; HLietzmann, Pt. röm. Märt.: SBBerlAk ’36, XXIX; DRobinson, JBL 64, ’45, 255–67; HSchmutz, Pt. war dennoch in Rom: Benedikt. Monatsschr. 22, ’46, 128–41.—On Mt 16:17–19 s., in addition to the lit. on κλείς 1 and πέτρα 1b: JSchnitzer, Hat Jesus das Papsttum gestiftet? 1910, Das Papsttum eine Stiftung Jesu? 1910; FTillmann, Jesus u. das Papsttum 1910; AKneller, ZKT 44, 1920, 147–69; OLinton, D. Problem der Urkirche ’32, 157–83; KPieper, Jes. u. d. Kirche ’32; AEhrhard, Urkirche u. Frühkatholizismus I 1, ’36.—JMunck, Pt. u. Pls in der Offenb. Joh. ’50 (Rv 11:3–13).—OCullmann, Petrus2, ’60 (Eng. tr. Peter, FFilson2, ’62), L’apôtre Pierre: NT Essays (TManson memorial vol.), ’59, 94–105; OKarrer, Peter and the Church: an examination of the Cullmann thesis, ’63; RO’Callaghan, Vatican Excavations and the Tomb of Peter: BA 16, ’53, 70–87; AvGerkan, D. Forschung nach dem Grab Petri, ZNW 44, ’52/53, 196–205, Zu den Problemen des Petrusgrabes: JAC ’58, 79–93; GSnyder, BA 32, ’69, 2–24; JGwynGriffiths, Hibbert Journal 55, ’56/57, 140–49; TBarnes, JTS 21, ’70, 175–79; GSchulze-Kadelbach, D. Stellung des P. in der Urchristenheit: TLZ 81, ’56, 1–18 (lit.); PGaechter, Petrus u. seine Zeit, ’58; EKirschbaum, The Tombs of St. Peter and St. Paul (transl. JMurray) ’59; EHaenchen, Petrus-Probleme, NTS 7, ’60/61, 187–97; SAgourides, Πέτρος καὶ Ἰωάννης ἐν τῷ τετάρτῳ Εὐαγγελίῳ, Thessalonike, ’66; DGewalt, Petrus, diss. Hdlbg, ’66; RBrown, KDonfried, JReumann edd., Peter in the NT, ’73; CCaragounis, Peter and the Rock (BZNW 58) ’89.—Pauly-W. XIX ’38, 1335–61; Kl. Pauly IV 674–76; BHHW III 1430f. LGPN I. M-M. EDNT. TW. Sv.
См. также в других словарях:
Petri Net Markup Language — is an interchange format aimed at enabling Petri net tools to exchange Petri net models.Petri Net Markup Language (PNML) is an XML based syntax for high level Petri nets, which is being designed as a standard interchange format for Petri net… … Wikipedia
Petri net — A Petri net (also known as a place/transition net or P/T net) is one of several mathematical modeling languages for the description of distributed systems. A Petri net is a directed bipartite graph, in which the nodes represent transitions (i.e.… … Wikipedia
Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia
Petri Purho — Infobox Person name = Petri Purho caption = birth date = 1983 birth place = Kouvola, Finland occupation = StudentPetri Purho (born 1983 in Kouvola, Finland [http://www.binaryjoy.co.uk/games/features/crayon physics deluxe interview/ Interview… … Wikipedia
Petri Camera — The nihongo|Petri|ペトリ Camera Company was an optical company and manufacturer of cameras in Japan. It was founded in 1907. Prior to World War II, it was known as Kuribayashi Shashin Kōgyō or Kuribayashi Camera Industry, inc. Japan (the company… … Wikipedia
Actor model — In computer science, the Actor model is a mathematical model of concurrent computation that treats actors as the universal primitives of concurrent digital computation: in response to a message that it receives, an actor can make local decisions … Wikipedia
Dualistic Petri nets — (dPNs) are a process class variant of Petri nets. Like Petri nets in general and many related formalisms and notations, they are used to describe and analyze process architecture. Contents 1 Process Modeling with dPNs 2 Architecture 2.1 … Wikipedia
Actor model later history — In computer science, the Actor model, first published in 1973 ref harvard|Hewitt|Hewitt et al. 1973| , is a mathematical model of concurrent computation. This article reports on the later history of the Actor model in which major themes were… … Wikipedia
Red de Petri — Saltar a navegación, búsqueda Una Red de Petri es una representación matemática de un sistema distribuido discreto. Las redes de Petri fueron definidas en los años 1960 por Carl Adam Petri. Son una generalización de la teoría de autómatas que… … Wikipedia Español
Actor model theory — In theoretical computer science, Actor model theory concerns theoretical issues for the Actor model.Actors are the primitives that form the basis of the Actor model of concurrent digital computation. In response to a message that it receives, an… … Wikipedia
Carl Adam Petri — (born July 12 1926) is a German mathematician and computer scientist. He was born in Leipzig.Petri nets were invented in August 1939 by Carl Adam Petri at the age of 13 for the purpose of describing chemicalprocesses. [Carl Adam Petri and… … Wikipedia